大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 International Federation for Information Processing (1962 : Munich) 的图书(共11640本)

Interactive Theorem Proving [electronic resource] : First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings

0
索取号：
作者：Kaufmann、 Matt.、Paulson、 Lawrence C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computational Intelligence for Knowledge-Based Systems Design [electronic resource] : 13th International Conference on Information Processing and Management of Uncertainty, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010. Proceedings

0
索取号：
作者：H眉llermeier、 Eyke.、Kruse、 Rudolf.、Hoffmann、 Frank.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Software Composition [electronic resource] : 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings

0
索取号：
作者：Baudry、 Beno卯t.、Wohlstadter、 Eric.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computing and Combinatorics [electronic resource] : 16th Annual International Conference, COCOON 2010, Nha Trang, Vietnam, July 19-21, 2010. Proceedings

0
索取号：
作者：Thai、 My T.、Sahni、 Sartaj.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Intelligent Information Access [electronic resource]

0
索取号：
作者：Armano、 Giuliano.、Gemmis、 Marco.、Semeraro、 Giovanni.、Vargiu、 Eloisa.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Mechanisms for Autonomous Management of Networks and Services [electronic resource] : 4th International Conference on Autonomous Infrastructure, Management and Security, AIMS 2010, Zurich, Switzerland, June 23-25, 2010. Proceedings

0
索取号：
作者：Stiller、 Burkhard.、Turck、 Filip.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Tests and Proofs [electronic resource] : 4th International Conference, TAP 2010, M谩laga, Spain, July 1-2, 2010. Proceedings

0
索取号：
作者：Fraser、 Gordon.、Gargantini、 Angelo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Wireless Sensor Network Technologies for the Information Explosion Era [electronic resource]

0
索取号：
作者：Hara、 Takahiro.、Zadorozhny、 Vladimir I.、Buchmann、 Erik.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Objects, Models, Components, Patterns [electronic resource] : 48th International Conference, TOOLS 2010, M谩laga, Spain, June 28鈥揓uly 2, 2010. Proceedings

0
索取号：
作者：Vitek、 Jan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Medical Biometrics [electronic resource] : Second International Conference, ICMB 2010, Hong Kong, China, June 28-30, 2010. Proceedings

0
索取号：
作者：Zhang、 David.、Sonka、 Milan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Web Engineering [electronic resource] : 10th International Conference, ICWE 2010, Vienna Austria, July 5-9, 2010. Proceedings

0
索取号：
作者：Benatallah、 Boualem.、Casati、 Fabio.、Kappel、 Gerti.、Rossi、 Gustavo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Natural Language Processing and Information Systems [electronic resource] : 15th International Conference on Applications of Natural Language to Information Systems, NLDB 2010, Cardiff, UK, June 23-25, 2010. Proceedings

0
索取号：
作者：Hopfe、 Christina J.、Rezgui、 Yacine.、M茅tais、 Elisabeth.、Preece、 Alun.、Li、 Haijiang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Evolution Inclusions and Variation Inequalities for Earth Data Processing II [electronic resource] : Differential-Operator Inclusions and Evolution Variation Inequalities for Earth Data Processing

0
索取号：
作者：Zgurovsky、 Mikhail Z.、Mel'nik、 Valery S.、Kasyanov、 Pavlo O.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

High Performance Computing in Science and Engineering, Garching/Munich 2009 [electronic resource] : Transactions of the Fourth Joint HLRB and KONWIHR Review and Results Workshop, Dec. 8-9, 2009, Leibniz Supercomputing Centre, Garching/Munich, Germany

0
索取号：
作者：Wagner、 Siegfried.、Steinmetz、 Matthias.、Bode、 Arndt.、M眉ller、 Markus Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Trust and Trustworthy Computing [electronic resource] : Third International Conference, TRUST 2010, Berlin, Germany, June 21-23, 2010. Proceedings

0
索取号：
作者：Acquisti、 Alessandro.、Smith、 Sean W.、Sadeghi、 Ahmad-Reza.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Fast Software Encryption [electronic resource] : 17th International Workshop, FSE 2010, Seoul, Korea, February 7-10, 2010, Revised Selected Papers

0
索取号：
作者：Hong、 Seokhie.、Iwata、 Tetsu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院